Automatic Generation of CHR Constraint Solvers

机译：自动生成CHR约束求解器

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Abdennadher, Slim; Rigotti, Christophe;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic generation of CHR constraint solvers [J] . SLIM ABDENNADHER, CHRISTOPHE RIGOTTI Theory and Practice of Logic Programming . 2005,第Pt4a5期

机译：自动生成CHR约束求解器
2. Automatic generation of constraint models: The quest for fully-automated solving of combinatorial problems [J] . Alan M. Frisch, Ian Miguel AISB Quarterly: The Newsletter of the Society for the Study of Artificial Intelligence and Simulation of Behaviour . 2006,第123期

机译：自动生成约束模型：寻求组合问题的全自动解决方案
3. Automatic Generation of Rule-Based Constraint Solvers over Finite Domains [J] . SLIM ABDENNADHER, CHRISTOPHE RIGOTTI ACM transactions on computational logic . 2004,第2期

机译：在有限域上自动生成基于规则的约束求解器
4. Semi-automatic Generation of CHR Solvers for Global Constraints [C] . Frank Raiser Principles and Practice of Constraint Programming . 2008

机译：半自动生成CHR解算器以解决全局约束
5. Algorithms for automatic generation of relative timing constraints . [D] . Xu, Yang. 2011

机译：自动生成相对时序约束的算法。
6. Refinement of the HIVAN1 Susceptibility Locus on Chr. 3A1-A3 via Generation of Sub-Congenic Strains [O] . Natalia Papeta, Ami Patel, Vivette D. D’Agati, -1

机译：精炼HIVAN1易感性基因位点。 3A1-A3通过亚同系菌株的产生
7. Automatic Generation of CHR Constraint Solvers [O] . Abdennadher, Slim, Rigotti, Christophe 2005

机译：自动生成CHR约束求解器
8. Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking [R] . Bharadwaj, R. , Sims, S. 2000

机译：salsa：将约束求解器与BDD结合用于自动不变检查

Automatic Generation of CHR Constraint Solvers

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅